Merge pull request #8075 from diizzyy/patch-5
authorHannu Nyman <[email protected]>
Wed, 30 Jan 2019 20:36:26 +0000 (22:36 +0200)
committerGitHub <[email protected]>
Wed, 30 Jan 2019 20:36:26 +0000 (22:36 +0200)
libs/libmicrohttpd: Fix for install sections


Trivial merge